update{-}spec{-}join($a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}join(product{-}deq(Knd; Id; Kind{-}deq; id{-}deq); $a$; $b$)